Skip to content

Delete not longer needed etc subdirectory#240

Merged
dietmarkuehl merged 2 commits intobemanproject:mainfrom
ClausKlein:feature/remove-etc-tree
Mar 18, 2026
Merged

Delete not longer needed etc subdirectory#240
dietmarkuehl merged 2 commits intobemanproject:mainfrom
ClausKlein:feature/remove-etc-tree

Conversation

@ClausKlein
Copy link
Collaborator

@ClausKlein ClausKlein commented Mar 18, 2026

beman-submodule update ...

see #214

beman-submodule update ...
@ClausKlein ClausKlein self-assigned this Mar 18, 2026
@ClausKlein ClausKlein linked an issue Mar 18, 2026 that may be closed by this pull request
@ClausKlein ClausKlein requested a review from ednolan March 18, 2026 17:30
@ClausKlein
Copy link
Collaborator Author

@ednolan CI seems broken or is waiting long time?

@dietmarkuehl dietmarkuehl merged commit 09d5a5c into bemanproject:main Mar 18, 2026
38 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The old, not longer needed, toolchain file should be deleted

2 participants